1321. Tracking reason :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ;
1322. Tracking reason: proof, consequence, and truth
پدیدآورنده: Azzouni, Jody.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99
2006
1323. Tracking reason : proof, consequence, and truth
پدیدآورنده: Azzouni, Jody, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99T7
1324. Transition to Analysis with Proof
پدیدآورنده: \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory -- Textbooks,Mathematical analysis -- Textbooks,آن‍ال‍ی‍ز ری‍اض‍ی -- کتاب‌های درسی
رده :
E-Book
,
1325. Trends and Perspectives in Modern Computational Science.
پدیدآورنده: George Maroulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
1326. Trust, Proof and Persuasion in Historiography:
پدیدآورنده: Hendrickson, B. Everett
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
1327. Truth, Error, and Criminal Law
پدیدآورنده: / Larry Laudan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mistake (Criminal law),Reasonable doubt,Burden of proof,Knowledge, Theory of,نظریه شناخت
رده :
K5083
.
L38
2008
1328. Truth, Proof and Infinity A Theory of Constructive Reasoning.
پدیدآورنده: Fletcher, P.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
1329. Truth, error, and criminal la
پدیدآورنده: / Larry Laudan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mistake (Criminal law),Reasonable doubt.,Burden of proof.,Knowledge, Theory of.
رده :
K
,
5083
,.
L38
,
2006
1330. Truth, error, and criminal law
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mistake (Criminal law) ; Reasonable doubt. ; Burden of proof. ; Knowledge, Theory of. ;
1331. Truth, error, and criminal law : an essay in legal epistemology
پدیدآورنده: Laudan, Larry
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mistake )Criminal law(,، Reasonable doubt,، Burden of proof,، Knowledge, Theory of
رده :
K
5083
.
L33T7
1332. Twisted pseudodifferential calculus and application to the quantum evolution of molecules /
پدیدآورنده: André Martinez, Vania Sordoni
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Born-Oppenheimer approximation,Evolution (Biology)-- Mathematical models,Evolution equations,Pseudodifferential operators,Quantum theory-- Mathematics,Wave packets
1333. Type Theory and Formal Proof: An Introduction
پدیدآورنده: / Professor Rob Nederpelt, Professor Herman Geuvers
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
1334. Type theory and formal proof :
پدیدآورنده: Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Type theory
رده :
QA9
.
N37
2014
1335. Typed Lambda Calculi and Applications :
پدیدآورنده: edited by Masahito Hasegawa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Logic design.
رده :
QA9
.
5
E358
2013
1336. Typed Lambda Calculi and Applications :
پدیدآورنده: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
1337. Types, Tableaus, and Gödel's God /
پدیدآورنده: by Melvin Fitting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic.,Metaphysics.,Ontology.,Philosophy (General),Philosophy.,Logic.,Metaphysics.,Ontology.,Philosophy.
رده :
BC1-199
1338. Ultra-dense networks for 5G and beyond :
پدیدآورنده: edited by Trung Q Duong, Xiaoli Chu, Himal A Suraweera.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Network performance (Telecommunication),Wireless communication systems-- Technological innovations.,Network performance (Telecommunication),TECHNOLOGY & ENGINEERING-- Mechanical.,Wireless communication systems-- Technological innovations.
رده :
TK5103
.
2
.
U48
2019
1339. Uncertainty in complex networked systems :
پدیدآورنده: editor, Tamer Başar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Control theory.,Mathematical optimization.,Uncertainty (Information theory),Control theory.,Mathematical optimization.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Uncertainty (Information theory)
رده :
QA402
.
5
